521. Feasible mathematics II
پدیدآورنده: Peter Clote, Jeffrey Remmel, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computational complexity,Congresses ، Mathematics
رده :
QA
267
.
7
.
F43
1995
522. Feasible mathematics : a Mathematical Sciences Institute Workshop, Ithaca, New York, June 1989
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computational complexity-- Congresses,، Mathematics-- Congresses
رده :
QA
267
.
7
.
F43
1990
523. Feasible mathematics : a Mathematical Sciences Institute Workshop, Ithaca, New York, June 1989
پدیدآورنده: / Samuel R. Buss, Philip J. Scott, editors
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Computational complexity - Congresses,Mathematics - Congresses
رده :
QA267
.
7
.
F43
1990
524. Feasible mathematics : a mathematical sciences Institute Workshop, Ithaca, New York, June 1989
پدیدآورنده: Samuel R. Buss, Philop J. Scott, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computational complexity,Congresses ، Mathematics
رده :
QA
267
.
7
.
F43
1990
526. Feedback control, nonlinear systems, and complexity
پدیدآورنده: / [edited by] Bruce A. Francis and Allen R. Tannenbaum
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Feedback control systems--Congresses,Nonlinear systems--Congresses,Computational complexity--Congresses
رده :
TJ
,
216
.
5
,.
F43
,
1995
531. Finite automata, formal logic, and circuit complexity
پدیدآورنده: / Howard Straubing
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Computer science- Mathematics,Automata,Logic, Symbolic and mathematical,Computational complexity
رده :
QA76
.
9
.
M35
,
S77
1994
532. Finite automata, formal logic, and circuit complexity
پدیدآورنده: Howard Straubing
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Mathematics ، Computer science,، Machine theory,، Logic, Symbolic and mathematical,، Computational complexity
رده :
QA
76
.
9
.
M35S77
533. Finite model theory and its applications
پدیدآورنده: Erich Gradel ... [et al.]&
کتابخانه: كتابخانه پژوهشگاه علوم و فناوری رنگ (تهران)
موضوع: Finite model theory,Computational complexity,Constraint databases
رده :
{
1648
},
06fdfb40a6eef9acf992e8ee6bc47b2a
534. Finite model theory and its applications
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Finite model theory. ; Computational complexity. ; Constraint databases. ;
535. Finite model theory and its applications
پدیدآورنده: / Erich Gradel ... [et al.]
کتابخانه: کتابخانه پرديس 2 دانشکدههای فنی دانشگاه تهران (تهران)
موضوع: Computational complexity,Constraint databases,Finite model theory
رده :
QA
9
.
7
.
F56
536. Finite model theory and its applications
پدیدآورنده: / Erich Gradel ... [et al.]
کتابخانه: کتابخانه پرديس 2 دانشکدههای فنی دانشگاه تهران (تهران)
موضوع: Finite model theory,Computational complexity,Constraint databases
رده :
QA
9
.
7
.
F56
2007
537. Finite model theory and its applications
پدیدآورنده: Erich Gradel ... ]et al.[
کتابخانه: کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان (کرمان)
موضوع: ، Finite model theory,، Computational complexity,، Constraints database
رده :
QA
9
.
7
.
F56
2007
538. Forcing with random variables and proof complexity
پدیدآورنده: Jan Krajicek
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computational complexity,، Random variables,، Mathematical analysis
رده :
QA
267
.
7
.
K72F6
539. Formal models, languages and applications /
پدیدآورنده: editors, K.G. Subramanian, K. Rangarajan, M. Mukund.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Compilers (Computer programs),Computational complexity.,Formal languages.,Compilers (Computer programs),Computational complexity.,COMPUTERS-- Programming Languages-- General.,Formal languages.
رده :
QA267
.
3
.
F698
2006eb
